Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
811	Frege's Ontology: Being, Existence, and Truth Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2013-12-06 06:41:09 Philosophical logic Philosophy of language Philosophers of mathematics Meaning Semantics Gottlob Frege Sense and reference Edmund Husserl Existence Philosophy Analytic philosophy Logic
812	POLISH JOURNAL OF PHILOSOPHY Vol. II, No. 2 (Fall 2008), [removed]Robert Piłat, O istocie pojęć, [On the Nature of Concepts], Warszawa: Wydawnictwo IFIS PAN 2007, ISBN[removed]2. Add to Reading List Source URL: www.pjp.edu.pl Language: English - Date: 2009-06-10 14:27:00 Ontology Philosophy of language Semantics Philosophers of mathematics Philosophical logic Concept George Lakoff Category of being Modal logic Philosophy Logic Science
813	Microsoft Word - HowPerc2.doc Add to Reading List Source URL: www.unige.ch Language: English - Date: 2005-08-12 19:02:35 Philosophy of language Philosophy of mind Analytic philosophers Meaning Philosophers of mathematics Sense and reference Edmund Husserl Gottlob Frege Direct and indirect realism Philosophy Mind Analytic philosophy
814	Language as Calculus vs. Language as Universal Medium Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2013-12-06 07:00:34 Philosophers of mathematics Gottfried Leibniz Philosophy of language Philosophical logic Analytic philosophers Calculus ratiocinator Characteristica universalis Begriffsschrift Gottlob Frege Logic Philosophy Mathematics
815	EUJAP  VOL. 3  No. 2  2007 Original scientific paper UDk: 1 Frege, G. 1 Russell, B. Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:19 Philosophy of language Philosophical logic Meaning Semantics Philosophers of mathematics Gottlob Frege Sense and reference Function Truth Philosophy Analytic philosophy Logic
816	cs20 EULER : A GENERALIZATION OF ALGOL, * AND ITS FORMAL DEFINITION Add to Reading List Source URL: i.stanford.edu Language: English - Date: 1998-02-20 11:42:35 Procedural programming languages Punctuation Number theory Euler Combinatorics Integer sequences ALGOL 68 ALGOL Semicolon Mathematics Programming language theory Software engineering
817	Open Information Extraction from the Web Michele Banko, Michael J Cafarella, Stephen Soderland, Matt Broadhead and Oren Etzioni Turing Center Department of Computer Science and Engineering University of Washington Box 35 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2006-10-19 18:08:12 Information extraction Natural language processing Finitary relation Tuple Relation Ext JS Science Mathematics Relational model Artificial intelligence
818	EUJAP  VOL. 3  No. 2  2007 Original scientific paper UDk: 165 Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:20 Mathematical logic Functions and mappings Propositional calculus Philosophical logic Philosophy of language Logicism Axiom of reducibility Type theory Principia Mathematica Logic Mathematics Philosophy
819	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
820	Toward bidirectionalization of ATL with GRoundTram Isao Sasano1 , Zhenjiang Hu2 , Soichiro Hidaka2 , Kazuhiro Inaba2 , Hiroyuki Kato2 , and Keisuke Nakano3 1 3 Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2011-07-30 11:35:00 Graph rewriting Graph theory Mathematics Systems science Scientific modeling KM3 Model transformation Metamodeling Unified Modeling Language Systems engineering Software engineering

UPDATE